equational system

См. также в других словарях:

• Equational box — Equation E*qua tion, n. [L. aequatio an equalizing: cf. F. [ e]quation equation. See {Equate}.] 1. A making equal; equal division; equality; equilibrium. [1913 Webster] Again the golden day resumed its right, And ruled in just equation with the… …   The Collaborative International Dictionary of English

• E equational theorem prover — E is a modern, high performance theorem prover for full first order logic with equality. It has been developed primarily in the Automated Reasoning Group at TU Munich.The system is based on the equational superposition calculus. In contrast to… …   Wikipedia

• Maude system — The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen s OBJ3 implementation of equational logic, but based on rewriting logic rather than order sorted… …   Wikipedia

• Subset-equational language — The Subset equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman.Features include: *subset and equational program clauses. *pattern matching over sets (supporting efficient iteration over… …   Wikipedia

• Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

• Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… …   Wikipedia

• Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

• Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

• Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… …   Wikipedia